Luís Miguel Pinho: шукати на сайті Z-Library

Найбільша колекція наукових статей у сіті. 70,000,000+ безкоштовних статей.

Пожертвування 15 вересня 2024 – 1 жовтня 2024

Z-Library - одна з найбільших онлайн-бібліотек у світі, в якій зберігається більше 17,000,000 книг та 84,837,000 статей. Ми намагаємось зробити літературу доступною кожному. Сьогодні (15 вересня 2024) ми відкриваємо додатковий збір пожертвувань на підтримку та розвиток проекту.

Також БЕЗЛІМТНІ завантаження (протягом 31 дня після завершення пожертвування) доступні для ВСІХ користувачів, які підтримають проект в період збору коштів до 1 жовтня 2024.

Про збір коштів Детальніше

Підтримати

Книги
Статті (116)
Найпопулярніші
Перелік
- Перелік
- Таблиця

[Lecture Notes in Computer Science] Reliable Software Technologies – Ada-Europe 2006 Volume 4006 || One Million (LOC) and Counting: Static Analysis for Errors and Vulnerabilities in the Linux Kernel Source Code

Pinho, Luís Miguel, González Harbour, Michael

Рік:

2006

Мова:

english

Файл:

PDF, 441 KB

english, 2006

A capacity sharing and stealing strategy for open real-time systems

Luís Nogueira, Luís Miguel Pinho

Журнал:

Journal of Systems Architecture

Рік:

2010

Мова:

english

Файл:

PDF, 941 KB

english, 2010

Replication Management in Reliable Real-Time Systems

Luís Miguel Pinho, Francisco Vasques, Andy Wellings

Журнал:

Real-Time Systems

Рік:

2004

Мова:

english

Файл:

PDF, 859 KB

english, 2004

[IEEE 2007 IEEE International Parallel and Distributed Processing Symposium - Long Beach, CA, USA (2007.03.26-2007.03.30)] 2007 IEEE International Parallel and Distributed Processing Symposium - Capacity Sharing and Stealing in Dynamic Server-based Real-Time Systems

Nogueira, Luis, Pinho, Luis Miguel

Рік:

2007

Мова:

english

Файл:

PDF, 301 KB

english, 2007

[IEEE Distributed Processing Symposium (IPDPS) - Miami, FL, USA (2008.04.14-2008.04.18)] 2008 IEEE International Symposium on Parallel and Distributed Processing - Shared resources and precedence constraints with capacity sharing and stealing

Nogueira, Luis, Miguel Pinho, Luis

Рік:

2008

Мова:

english

Файл:

PDF, 334 KB

english, 2008

[IEEE 2015 Euromicro Conference on Digital System Design (DSD) - Madeira, Portugal (2015.8.26-2015.8.28)] 2015 Euromicro Conference on Digital System Design - Investigation on AUTOSAR-Compliant Solutions for Many-Core Architectures

Becker, Matthias, Dasari, Dakshina, Nelis, Vincent, Behnam, Moris, Pinho, Luis Miguel, Nolte, Thomas

Рік:

2015

Мова:

english

Файл:

PDF, 174 KB

english, 2015

[IEEE 2015 IEEE 20th Conference on Emerging Technologies & Factory Automation (ETFA) - Luxembourg, Luxembourg (2015.9.8-2015.9.11)] 2015 IEEE 20th Conference on Emerging Technologies & Factory Automation (ETFA) - A real-time semantics for the IEC 61499 standard

Lindgren, Per, Lindner, Marcus, Lindner, Andreas, Vyatkin, Valeriy, Pereira, David, Pinho, Luis Miguel

Рік:

2015

Мова:

english

Файл:

PDF, 362 KB

english, 2015

[IEEE 2015 IEEE 13th International Conference on Industrial Informatics (INDIN) - Cambridge, United Kingdom (2015.7.22-2015.7.24)] 2015 IEEE 13th International Conference on Industrial Informatics (INDIN) - Response time for IEC 61499 over Ethernet

Lindgren, Per, Eriksson, Johan, Lindner, Marcus, Lindner, Andreas, Pereira, David, Pinho, Luis Miguel

Рік:

2015

Мова:

english

Файл:

PDF, 677 KB

english, 2015

A tool for supporting the design of BRT and LRT services

Schlickmann, Marcos Paulo, Martínez, Luis Miguel, de Sousa, Jorge Pinho

Журнал:

Transportation Research Procedia

Рік:

2017

Мова:

english

Файл:

PDF, 624 KB

english, 2017

First report of Phytophthora capsici Leonian causing wilting and root and crown rot on Capsicum annuum L. (Bell pepper) in Ecuador.

VÃ©lez-Olmedo, Jefferson Bertin, Saltos, Luis Alberto, Corozo, Liliana, Bonfim, Bianca Samay Angelino, VÃ©lez-Zambrano, Sergio Miguel, Arteaga, Francisco Javier, GarcÃa, Mario Augusto, Pinho, Danilo

Журнал:

Plant Disease

Рік:

2020

Файл:

PDF, 491 KB

2020

Time-bounded distributed QoS-aware service configuration in heterogeneous cooperative environments

Luís Nogueira, Luís Miguel Pinho

Журнал:

Journal of Parallel and Distributed Computing

Рік:

2009

Мова:

english

Файл:

PDF, 3.36 MB

english, 2009

A feedback-based decentralised coordination model for distributed open real-time systems

Luís Nogueira, Luís Miguel Pinho, Jorge Coelho

Журнал:

Journal of Systems and Software

Рік:

2012

Мова:

english

Файл:

PDF, 908 KB

english, 2012

Primary cysts and tumors of the mediastinum

Pedro Bastos, Adriana Magalhães, Gabriela Fernandes, Maria Rosa Cruz, Sandra Saleiro, Luís Gonçalves, Miguel Piñon, Paulo Pinho, Pedro Bastos, J. Agostinho Marques

Журнал:

Revista Portuguesa de Pneumologia (English Edition)

Рік:

2007

Файл:

PDF, 364 KB

2007

Volatile Profiling of Kiwifruits (Actinidia deliciosa‘Hayward’) Evaluated by HS-SPME and GC-IT/MS: Influence of Ripening, Training System and Storage

Mota, Luís Miguel, Aguiar, Ana, Ferreira, Isabel M. P. L. V. O., Guedes de Pinho, Paula

Журнал:

Food and Bioprocess Technology

Рік:

2012

Мова:

english

Файл:

PDF, 1.01 MB

english, 2012

[Lecture Notes in Computer Science] Reliable Software Technologies – Ada-Europe 2012 Volume 7308 || Teaching ‘Concepts of Programming Languages’ with Ada

Brorsson, Mats, Pinho, Luís Miguel

Рік:

2012

Мова:

english

Файл:

PDF, 217 KB

english, 2012

Parallel evolutionary computation in bioinformatics applications

Pinho, Jorge, Sobral, João Luis, Rocha, Miguel

Журнал:

Computer Methods and Programs in Biomedicine

Рік:

2013

Мова:

english

Файл:

PDF, 772 KB

english, 2013

Non-targeted and targeted analysis of wild toxic and edible mushrooms using gas chromatography–ion trap mass spectrometry

Carvalho, Luís Miguel, Carvalho, Félix, de Lourdes Bastos, Maria, Baptista, Paula, Moreira, Nathalie, Monforte, Ana Rita, da Silva Ferreira, António César, de Pinho, Paula Guedes

Журнал:

Talanta

Рік:

2014

Мова:

english

Файл:

PDF, 1.36 MB

english, 2014

[IEEE 2012 38th EUROMICRO Conference on Software Engineering and Advanced Applications (SEAA) - Cesme, Izmir, Turkey (2012.09.5-2012.09.8)] 2012 38th Euromicro Conference on Software Engineering and Advanced Applications - A Framework for the Development of Parallel and Distributed Real-Time Embedded Systems

Garibay-Martinez, Ricardo, Ferreira, Luis Lino, Pinho, Luis Miguel

Рік:

2012

Мова:

english

Файл:

PDF, 289 KB

english, 2012

[IEEE 2010 IEEE/IFIP 8th International Conference on Embedded and Ubiquitous Computing (EUC) (Co-Located with CSE 2010) - Hong Kong, China (2010.12.11-2010.12.13)] 2010 IEEE/IFIP International Conference on Embedded and Ubiquitous Computing - Handling Mobility on a QoS-Aware Service-based Framework for Mobile Systems

Goncalves, Joel, Ferreira, Luis Lino, Pinho, Luis Miguel, Silva, Guilherme

Рік:

2010

Мова:

english

Файл:

PDF, 345 KB

english, 2010

[IEEE 2011 37th EUROMICRO Conference on Software Engineering and Advanced Applications (SEAA) - Oulu, Finland (2011.08.30-2011.09.2)] 2011 37th EUROMICRO Conference on Software Engineering and Advanced Applications - Software Transactional Memory as a Building Block for Parallel Embedded Real-Time Systems

Barros, Antonio, Pinho, Luis Miguel

Рік:

2011

Мова:

english

Файл:

PDF, 408 KB

english, 2011

[IEEE 2013 8th IEEE International Symposium on Industrial Embedded Systems (SIES) - Porto (2013.06.19-2013.06.21)] 2013 8th IEEE International Symposium on Industrial Embedded Systems (SIES) - Scheduling parallel real-time tasks using a fixed-priority work-stealing algorithm on multiprocessors

Maia, Claudio, Nogueira, Luis, Pinho, Luis Miguel

Рік:

2013

Мова:

english

Файл:

PDF, 581 KB

english, 2013

[IEEE 2013 IEEE 18th Conference on Emerging Technologies & Factory Automation (ETFA) - Cagliari, Italy (2013.09.10-2013.09.13)] 2013 IEEE 18th Conference on Emerging Technologies & Factory Automation (ETFA) - QoS enabled middleware for real-time industrial control systems

Ferreira, Luis Lino, Albano, Michele, Pinho, Luis Miguel

Рік:

2013

Мова:

english

Файл:

PDF, 153 KB

english, 2013

[IEEE 2013 IEEE 19th International Conference on Embedded and Real-Time Computing Systems and Applications (RTCSA) - Taipei, Taiwan (2013.08.19-2013.08.21)] 2013 IEEE 19th International Conference on Embedded and Real-Time Computing Systems and Applications - Critical-Path-First based allocation of real-time streaming applications on 2D mesh-type multi-cores

Ali, Hazem Ismail Abdel Aziz, Pinho, Luis Miguel, Akesson, Benny

Рік:

2013

Мова:

english

Файл:

PDF, 590 KB

english, 2013

[IEEE 2013 8th IEEE International Symposium on Industrial Embedded Systems (SIES) - Porto (2013.06.19-2013.06.21)] 2013 8th IEEE International Symposium on Industrial Embedded Systems (SIES) - Towards transparent parallel/distributed support for real-time embedded applications

Garibay-Martinez, Ricardo, Ferreira, Luis Lino, Maia, Claudio, Pinho, Luis Miguel

Рік:

2013

Мова:

english

Файл:

PDF, 963 KB

english, 2013

[IEEE 2014 9th IEEE International Symposium on Industrial Embedded Systems (SIES 2014) - Pisa (2014.6.18-2014.6.20)] Proceedings of the 9th IEEE International Symposium on Industrial Embedded Systems (SIES 2014) - On the scheduling of fork-join parallel/distributed real-time tasks

Garibay-Martinez, Ricardo, Nelissen, Geoffrey, Ferreira, Luis Lino, Pinho, Luis Miguel

Рік:

2014

Мова:

english

Файл:

PDF, 546 KB

english, 2014

[IEEE 2006 International Symposium on Industrial Embedded Systems - Antibes Juan-Les-Pins, France (2006.10.18-2006.10.20)] 2006 International Symposium on Industrial Embedded Systems - A Complex Protocol Layer as a linux User-Space Process

Barros, Antonio, Pacheco, Filipe, Pinho, Luis Miguel

Рік:

2006

Мова:

english

Файл:

PDF, 1.13 MB

english, 2006

[IEEE Factory Automation (ETFA 2011) - Toulouse, France (2011.09.5-2011.09.9)] ETFA2011 - Service offloading in adaptive real-time systems

Ferreira, Luis Lino, Silva, Guilherme, Pinho, Luis Miguel

Рік:

2011

Мова:

english

Файл:

PDF, 730 KB

english, 2011

[IEEE 2013 IEEE 26th International Symposium on Computer-Based Medical Systems (CBMS) - Porto, Portugal (2013.06.20-2013.06.22)] Proceedings of the 26th IEEE International Symposium on Computer-Based Medical Systems - Physician's awareness of e-prescribing security risks

Rodrigues, Hugo, Antunes, Luis Filipe C., Santos, Cristina, Correia, Manuel Eduardo, Pinho, Tiago Miguel, Magalhaes, Hilario Gil

Рік:

2013

Мова:

english

Файл:

PDF, 511 KB

english, 2013

[IEEE 2012 IEEE 15th International Conference on Computational Science and Engineering (CSE) - Paphos, Cyprus (2012.12.5-2012.12.7)] 2012 IEEE 15th International Conference on Computational Science and Engineering - Dynamic Global Scheduling of Parallel Real-Time Tasks

Nogueira, Luis, Fonseca, Jose Carlos, Maia, Claudio, Pinho, Luis Miguel

Рік:

2012

Мова:

english

Файл:

PDF, 237 KB

english, 2012

[IEEE 2010 18th Euromicro International Conference on Parallel, Distributed and Network-Based Processing (PDP) - Pisa, Italy (2010.02.17-2010.02.19)] 2010 18th Euromicro Conference on Parallel, Distributed and Network-based Processing - Pluggable Parallelization of Evolutionary Algorithms Applied to the Optimization of Biological Processes

de Pinho, Jorge Henrique Martins, de Almeida Pereira da Rocha, Miguel Francisco, Sobral, João Luís Ferreira

Рік:

2010

Мова:

english

Файл:

PDF, 476 KB

english, 2010

Message-oriented middleware for smart grids

Albano, Michele, Ferreira, Luis Lino, Pinho, Luís Miguel, Alkhawaja, Abdel Rahman

Журнал:

Computer Standards & Interfaces

Рік:

2015

Мова:

english

Файл:

PDF, 926 KB

english, 2015

[Lecture Notes in Computer Science] Reliable Software Technologies – Ada-Europe 2006 Volume 4006 || Adaptive Random Testing Through Iterative Partitioning

Pinho, Luís Miguel, González Harbour, Michael

Рік:

2006

Мова:

english

Файл:

PDF, 256 KB

english, 2006

Convergence of Smart Grid ICT Architectures for the Last Mile

Albano, Michele, Ferreira, Luis Lino, Pinho, Luis Miguel

Журнал:

IEEE Transactions on Industrial Informatics

Рік:

2015

Мова:

english

Файл:

PDF, 721 KB

english, 2015

[Lecture Notes in Computer Science] Architecture of Computing Systems – ARCS 2015 Volume 9017 ||

Pinho, Luís Miguel Pinho, Karl, Wolfgang, Cohen, Albert, Brinkschulte, Uwe

Рік:

2015

Мова:

english

Файл:

PDF, 13.39 MB

english, 2015

[Lecture Notes in Computer Science] Architecture of Computing Systems – ARCS 2015 Volume 9017 || Parallel-Operation-Oriented Optically Reconfigurable Gate Array

Pinho, Luís Miguel Pinho, Karl, Wolfgang, Cohen, Albert, Brinkschulte, Uwe

Рік:

2015

Мова:

english

Файл:

PDF, 2.31 MB

english, 2015

[Lecture Notes in Computer Science] Architecture of Computing Systems – ARCS 2015 Volume 9017 || Mobile Ecosystem Driven Dynamic Pipeline Adaptation for Low Power

Pinho, Luís Miguel Pinho, Karl, Wolfgang, Cohen, Albert, Brinkschulte, Uwe

Рік:

2015

Мова:

english

Файл:

PDF, 866 KB

english, 2015

[Lecture Notes in Computer Science] Reliable Software Technologies – Ada-Europe 2012 Volume 7308 || Formal Modelling for Ada Implementations: Tasking Event-B

Brorsson, Mats, Pinho, Luís Miguel

Рік:

2012

Мова:

english

Файл:

PDF, 349 KB

english, 2012

[Lecture Notes in Computer Science] Reliable Software Technologies – Ada-Europe 2012 Volume 7308 || Formal Goal-Oriented Development of Resilient MAS in Event-B

Brorsson, Mats, Pinho, Luís Miguel

Рік:

2012

Мова:

english

Файл:

PDF, 253 KB

english, 2012

[Lecture Notes in Computer Science] Reliable Software Technologies – Ada-Europe 2006 Volume 4006 || Run-Time Detection of Tasking Deadlocks in Real-Time Systems with the Ada 95 Annex of Real-Time Systems

Pinho, Luís Miguel, González Harbour, Michael

Рік:

2006

Мова:

english

Файл:

PDF, 290 KB

english, 2006

[Lecture Notes in Computer Science] Architecture of Computing Systems – ARCS 2015 Volume 9017 || Anonymous-CPABE: Privacy Preserved Content Disclosure for Data Sharing in Cloud

Pinho, Luís Miguel Pinho, Karl, Wolfgang, Cohen, Albert, Brinkschulte, Uwe

Рік:

2015

Мова:

english

Файл:

PDF, 430 KB

english, 2015

[IEEE 2014 17th Euromicro Conference on Digital System Design (DSD) - Verona, Italy (2014.8.27-2014.8.29)] 2014 17th Euromicro Conference on Digital System Design - P-SOCRATES: A Parallel Software Framework for Time-Critical Many-Core Systems

Pinho, Luis Miguel, Quinones, Eduardo, Bertogna, Marko, Marongiu, Andrea, Carlos, Jorge Pereira, Scordino, Claudio, Ramponi, Michele

Рік:

2014

Мова:

english

Файл:

PDF, 568 KB

english, 2014

[Lecture Notes in Computer Science] Architecture of Computing Systems – ARCS 2015 Volume 9017 || Parallelizing Convolutional Neural Networks on Intel $$^{\textregistered }$$ Many Integrated Core Architecture

Pinho, Luís Miguel Pinho, Karl, Wolfgang, Cohen, Albert, Brinkschulte, Uwe

Рік:

2015

Мова:

english

Файл:

PDF, 1.27 MB

english, 2015

[ACM Press the 21st International conference - Sophia Antipolis, France (2013.10.16-2013.10.18)] Proceedings of the 21st International conference on Real-Time Networks and Systems - RTNS '13 - Are virtual channels the bottleneck of priority-aware wormhole-switched NoC-based many-cores?

Nikolić, Borislav, Ali, Hazem Ismail, Petters, Stefan M., Pinho, Luís Miguel

Рік:

2013

Мова:

english

Файл:

PDF, 826 KB

english, 2013

P-SOCRATES: A parallel software framework for time-critical many-core systems

Pinho, Luís Miguel, Nélis, Vincent, Yomsi, Patrick Meumeu, Quiñones, Eduardo, Bertogna, Marko, Burgio, Paolo, Marongiu, Andrea, Scordino, Claudio, Gai, Paolo, Ramponi, Michele, Mardiak, Michal

Журнал:

Microprocessors and Microsystems

Рік:

2015

Мова:

english

Файл:

PDF, 2.93 MB

english, 2015

[ACM Press the 2013 ACM SIGAda annual conference - Pittsburgh, Pennsylvania, USA (2013.11.10-2013.11.14)] Proceedings of the 2013 ACM SIGAda annual conference on High integrity language technology - HILT '13 - Real-time programming on accelerator many-core processors

Michell, Stephen, Moore, Brad, Pinho, Luis Miguel

Рік:

2013

Мова:

english

Файл:

PDF, 786 KB

english, 2013

[ACM Press the 2011 ACM annual international conference - Denver, Colorado, USA (2011.11.06-2011.11.10)] Proceedings of the 2011 ACM annual international conference on Special interest group on the ada programming language - SIGAda '11 - A parallel programming model for ada

Ali, Hazem Ismail, Pinho, Luís Miguel

Рік:

2011

Мова:

english

Файл:

PDF, 471 KB

english, 2011

Ada and many-core platforms

Pinho, Luis Miguel, Michell, Stephen, Moore, Brad

Журнал:

ACM SIGAda Ada Letters

Рік:

2013

Мова:

english

Файл:

PDF, 125 KB

english, 2013

Session summary

Pinho, Luis Miguel, Michell, Stephen, Moore, Brad

Журнал:

ACM SIGAda Ada Letters

Рік:

2013

Мова:

english

Файл:

PDF, 107 KB

english, 2013

Parallelism in Ada

Moore, Brad, Michell, Stephen, Pinho, Luis Miguel

Журнал:

ACM SIGAda Ada Letters

Рік:

2013

Файл:

PDF, 209 KB

2013

[ACM Press the 30th Annual ACM Symposium - Salamanca, Spain (2015.04.13-2015.04.17)] Proceedings of the 30th Annual ACM Symposium on Applied Computing - SAC '15 - A multi-DAG model for real-time parallel applications with conditional execution

Fonseca, José Carlos, Nélis, Vincent, Raravi, Gurulingesh, Pinho, Luís Miguel

Рік:

2015

Мова:

english

Файл:

PDF, 1.40 MB

english, 2015